Abstracting Time Away (and Still Having It)
نویسنده
چکیده
ing time away (and still having it) Simin Nadjm-Tehrani Dept. of Computer and Information Science, Link oping University [[email protected]]
منابع مشابه
Behavioural Satisfaction and Equivalence in Concrete Model Categories
We use the well-known framework of concrete categories to show how much of standard universal algebra may be done in an abstract and still rather intuitive way. This is used to recast the unifying view of behavioural semantics of speciications based on behavioural satisfaction and, respectively, on behavioural equivalence of models abstracting away from many particular features of standard alge...
متن کاملTrace-based Just-in-time Compilation for Haskell
Every programmer knows that many programming language abstractions come at a performance cost. For instance, abstracting away from how data is laid out in memory can make it harder to take advantage of data locality. Nevertheless, for many applications the benefits in speed of development or ease of reasoning about a program may outweigh the costs. Haskell, a statically typed functional program...
متن کاملAnalysis of Networks in Chess
In this paper we examine the value of the information contained in networks constructed from positions in chess games with respect to game analysis and predictive power. The interrelations of pieces in a chess game represent complex and evolving networks that describe both tactical and strategic elements of the game. Even when a chess game is represented as a network of interrelations among the...
متن کاملAnalysis of Multiple Choice Questions Based On Classical Test Theory
Introduction: The aim of this study was to use Classical Test Theory (CTT) software for qualitative and quantitative analysis of Multiple Choice Questions (MCQ) for Master students of health discipline. Methods: This study was carried out on two groups each including 50 undergraduate students of public health, and two groups of 50 and 26 undergraduate students of occupational health. The final...
متن کاملValidating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away extraneous complexity, the state space of the model could be exhaustively searched allowing critical functional requirements to be validated down to the design level. Abstracting away detail not ge...
متن کامل